Base Dijkstra pseudocode