Integrating Carbon Dioxide Removal Into European Emissions Trading | Synapse