Upstream vs. downstream CO2 trading: A comparison for the electricity context