dijkstra’s algorithm history