A comparison of two exact methods for passenger railway rolling stock (re)scheduling. (July 2016)