Research on the Interface Mechanism and Transaction Mode between “Energy use Rights and Carbon Emission Rights” and Green Electricity Trading | IEEE Conference Publication | IEEE Xplore