A new formulation and a column generation-based heuristic for the multiple depot vehicle scheduling problem. (December 2018)