Mixed-fleet single-terminal bus scheduling problem: Modelling, solution scheme and potential applications. (October 2020)