Dijkstra’s algorithm for single source shortest paths