Integrated optimization of train scheduling and maintenance planning on high-speed railway corridors. (September 2019)