Operation Optimization of Electric Vehicle Battery Swapping Stations via Virtual Power Plant and Carbon Trading | Synapse