Effective Continuous-Time Formulation for Short-Term Scheduling. 1. Multipurpose Batch Processes