Models for closed-loop supply chain with trade-ins. (January 2017)