Market mechanism of smart grids: Multi-agent model and interoperability.