Plasma Density Measurements Using a Double Langmuir Probe in a Prototype Vaccuum ARC Fault Current Limiter