Full-wave theory of a quasi-optical launching system for lower-hybrid waves