Essays on the Market Design of the EU Emissions Trading System