Optimization Model of an Integrated Energy System Operation Considering the Utilization of Hydrogen Energy and the Coupling of Carbon-Green Certificates Trading | Synapse