An algorithm for finding the k quickest paths in a network