Allocation in the European Emissions Trading Scheme