Text this: Formulations and valid inequalities for economic lot sizing problems with remanufacturing (ELSR)