Compact formulations for multi-depot routing problems: Theoretical and computational comparisons. (December 2020)