A Stackelberg Game Optimization for Park-Level Integrated Energy Systems with CCS-P2G-LCES in Carbon-Green Certificate Markets | Synapse