Game-Based Pricing for Joint Carbon and Electricity Trading in Microgrids | Synapse