Investigating Equity and Efficiency in Carbon Pricing with Revenue Recycling: A Combined Macro- and Micro-modelling Approach