A model for the design of hot-air based wind turbine ice prevention system