A rolling horizon approach for scheduling of multiproduct batch production and maintenance using generalized disjunctive programming models. (May 2021)