Solving a Large-Scale Multi-Depot Vehicle Scheduling Problem in Urban Bus Systems. (23rd August 2018)