Intermittent Production Scheduling: Practical Formulations, Relaxation, and Decomposition Procedures