Generic mathematical formulations for scheduling of multipurpose batch plants