Model-based optimal load control of inverter-driven air conditioners responding to dynamic electricity pricing