Energy Management Model for Energy District Prosumers and Utility: A Case Study of Texas State | IEEE Conference Publication | IEEE Xplore