Well posedness and finite element approximability of three-dimensional time-harmonic electromagnetic problems involving rotating axisymmetric objects