A Time Bucket Formulation for the TSP with Time Windows