In the bus scheduling example suppose that buses can run either 8- or 12-hour shifts. If a bus runs for 12 hours, the driver is paid for the extra hours at 150% of the regular hourly pay. Do you recommend the use of 12-hour shift buses (in conjunction with the 8-hour shift buses)? Solve the new model using AMPL, Solver, or TORA.