Efficiency and Equity Implications of Alternative Instruments to Reduce Carbon Leakage