An energy brokerage system with emission trading and allocation of cost savings | IEEE Journals & Magazine | IEEE Xplore