Simulation results and formalism for global-local scheduling in semiconductor manufacturing facilities