A class of label-correcting methods for the K shortest paths problem