An Energy Internet Platform for Transactive Energy Applications