Strongly polynomial auction algorithms for shortest paths