The Linkage Method between the Medium and Long-Term Market and Spot Market of Electricity-Carbon Coordinated Trading Based on Contract Decomposition | IEEE Conference Publication | IEEE Xplore