translate RTF files into LaTeX files