Incremental Algorithms for the Single Source Shortest Path Problem