label correcting shortest paths working