Bi-Level Carbon Trading Model on Demand Side for Integrated Electricity-Gas System | Synapse