Modeling Local Energy Market for Energy Management of Multi-Microgrids