Single-track train timetabling with guaranteed optimality: Branch-and-bound algorithms with enhanced lower bounds · Study