Carbon leakage, consumption, and trade