A New Formulation of the Single Door Truck Scheduling Problem