A dynamic decision model for energy-efficient scheduling of manufacturing system with renewable energy supply. (10th October 2020)