Modeling and control of central air conditionings for providing regulation services for power systems