How does a cap and trade system for carbon emissions work?