Integral equation procedures for eddy current problems