A boundary integral formulation of the eddy current problem