Mathematical Formulations of the Heterogeneous Fleet Vehicle Routing Problem