Carbon leakage: A mechanism design approach