A Theorem on the Expected Complexity of Dijkstra's Shortest Path Algorithm