Analysis of emission reduction effects of carbon trading: Market mechanism or government intervention?