Mixed finite element approximation of eddy current problems