Statistical Modeling of Controllable Heat Pump Water Heaters Considering Customers' Convenience and Uncertainty and its Application to Frequency Control in Power System with a Large Penetration of Renewable Energy Sources