Multi-stage planning of integrated energy systems considering external carbon trading | IEEE Conference Publication | IEEE Xplore