Electromagnetic theory of an antenna for ICR heating of tokamak plasmas