An electro-optical measurement on electric field of insulator surface under HV pulse in vacuum