Detailed production planning models for semiconductor manufacturing with profit