A Decentralized Market Model for a Microgrid With Carbon Emission Rights | Synapse