Converting LaTeX source files into XML