Framework for Integrated Energy Market Trading Strategy Considering User Comfort and Energy Substitution Based on Stackelberg Game: A Case Study in China | Synapse