Integration of energy system and computable general equilibrium models: An approach complementing energy and economic representations for mitigation analysis