Large-scale model and solution for integrated maintenance routing and tail assignment problem in airline industry. (7th October 2020)