Optimal scheduling for aircraft departures