Carbon trading and taxation