Analysis of Dijkstra's Algorithm