An efficient MILP model for the short-term scheduling of single stage batch plants