Neural Machine Translation for Mathematical Formulae