Job Shop Scheduling with Due Dates and Overtime Capability