Mathematical model and solution algorithms for capacitated dynamic lot-sizing in remanufacturing systems