A comparison of production planning formulations with exogenous cycle time estimates using a large-scale wafer fab model.