Ex 13E Dijkstra's algorithm