Cooperative Energy Provisioning Services With Virtual Power Plants in Smart Grid Internet of Things: A Coalition-Stackelberg Game Approach | IEEE Journals & Magazine | IEEE Xplore