Blockchain Technology in Carbon Trading Markets: Impacts, Benefits, and Challenges—A Case Study of the Shanghai Environment and Energy Exchange | Synapse