Emissions Trading Design