Optimal production scheduling for smart manufacturers with application to food production planning. (June 2020)