Scheduling Shutdowns for Manufacturing Systems with an Application to Automotive Production Lines: Optimization Models and Computation.