Priority queue python time complexity