A Branch-and-Cut Procedure for the Vehicle Routing Problem with Time Windows