The European Union Emissions Trading System reduced CO2 emissions despite low prices