Analysis of a two-level domain decomposition preconditioner for the time-harmonic Maxwell equations in anisotropic media