Dijkstra's algorithm or how a navigator determines the optimal route