Text this: A New Formulation for the Capacitated Lot Sizing Problem with Batch Ordering Allowing Shortages