Electromagnetic field formulation for eddy current calculations in nondestructive testing systems