A manufacturer-service provider model with remanufacturability and variable product life considerations