High-Resolution Molecular Spectroscopy at the Institute of Atmospheric Optics: Current Status of Theoretical and Experimental Research