Trading agents for the smart electricity grid | Synapse