Lot-size models with backlogging: Strong reformulations and cutting planes