Distributed Robust Optimization Scheduling for Integrated Energy Systems Based on Data-Driven and Green Certificate-Carbon Trading Mechanisms | Synapse