English to Arabic machine translation of mathematical documents