A carbon-constrained EOQ model with uncertain demand for remanufactured products