An optimization model for traceable closed-loop supply chain networks