Scheduling parallel batch processing machines: A case study in the semiconductor industry | Synapse