Modeling of the AC Arc Discharge on Snow-covered Insulators