Optimization of electricity, heat and gas for integrated energy systems taking into account carbon trading mechanisms and hydrogen production from electricity | IEEE Conference Publication | IEEE Xplore