Distributed Energy Trading Model for Multiple Microgrids Based on Blockchain Technology and the Gale-Shapley Algorithm | IEEE Conference Publication | IEEE Xplore