An agent-based market platform for Smart Grids | Synapse