Dijkstra Priority Queue Time Complexity