Formulations and branch-and-cut algorithms for the heterogeneous fleet vehicle routing problem with soft time deadlines