Modeling Strategic Behaviors for GenCo With Joint Consideration on Electricity and Carbon Markets | Synapse