Delay management in public transportation: Service regularity issues and crew re-scheduling