Lot-sizing formulation