Carbon leakage and trade adjustment policies