When you power the arduino from an external power source (via external jack?), what is the voltage on the arduino 5v pin?