Work-Efficient Parallel GPU Methods for Single-Source Shortest Paths