Modeling a Blockchain-enabled Transactive Energy System for Community Microgrids | Synapse