Scheduling, inventory management and production planning: Formulations and solution methods