Exact formulations and algorithm for the train timetabling problem with dynamic demand · Study