An Energy Internet Platform for Transactive Energy and Demand Response Applications