Joint value–carbon emission flow modeling of energy systems under the coupled electricity and carbon trading context | Synapse