A branch and bound algorithm for the multiple depot vehicle scheduling problem | Synapse