A general framework for shortest path algorithms