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