An integrated machine scheduling and personnel allocation problem for large-scale industrial facilities using a rolling horizon framework