Gửi tin nhắn: An integrated approach for airline scheduling, aircraft fleeting and routing with cruise speed control