Stringency and Distribution in the EU Emissions Trading Scheme: First Evidence