A decentralised electricity market model: An electric vehicle charging example.