Parallel single-source shortest path algorithm