Carbon mitigation effects and potential cost savings from carbon emissions trading in China's regional industry