Aircraft routing for on-demand air transportation with service upgrade and maintenance events: Compact model and case study. (March 2019)