Trading agents for the smart electricity grid