A Stochastic Optimization Approach for an Integrated Energy System with Electricity, Heat, Gas, and Hydrogen Considering Carbon Trading | Synapse