A Branch-and-Price algorithm for railway rolling stock rescheduling. (May 2017)