Scheduling Batches in Manufacturing Systems