Integration of scheduling and control for batch process based on generalized Benders decomposition approach with genetic algorithm. (February 2021)