Shack–Hartmann type laser wavefront sensor for measuring two-dimensional electron density distribution over extinguishing arc discharge