Energy Management Model for Energy District Prosumers and Utility: A Case Study of Texas State.