Optimization models for the delay management problem in public transportation