Dynamic modeling of DC arc discharge on ice surfaces