0 Highway Dimension and Provably Efficient Shortest Path Algorithms