Carbon-reducing contract design for a supply chain with environmental responsibility under asymmetric information