A cost-minimization model for bus fleet allocation featuring the tactical generation of short-turning and interlining options. (January 2019)