Using emissions trading schemes to reduce heterogeneous distortionary taxes: The case of recycling carbon auction revenues to support renewable energy. (September 2022)