Finite element computation of axisymmetric eddy currents in an infinite domain