Two-Stage Robust Optimization for Integrated Energy Systems with Bidirectional Demand Response and Tiered Carbon Trading | Synapse