Robust airline scheduling and disruption management