Nonlinear Finite Element Formulation And Analysis of high-power air/dielectric breakdown in time domain