Optimization of Hydrogen Containing Integrated Energy System Operation Considering Demand Response and Ladder-type Carbon Trading | IEEE Conference Publication | IEEE Xplore