The Establishment and Prediction of Regression Models of Energy Sales and System Peak Loading By Considering AMI Data for High Voltage Customers