Eddy Current Approximation of Maxwell Equations: Theory, Algorithms and Applications