MASSIVE: A scalable framework for agent-based scheduling of micro-grids using market mechanisms | Synapse