“Southwest Airlines' operational model enabled aircraft turnarounds in 15 to 20 minutes, compared to the European standard of 1 hour and 15 minutes at the time.”