Optimization for sustainable scheduling of batch manufacturing processes under economic and environmental concerns