Recent results on the existence, uniqueness and finite element approximation of the solution of time-harmonic electromagnetic boundary value problems