Computing the shortest path: A search meets graph theory | Synapse