Making Presentation Math Computable : A Context-Sensitive Approach for Translating LaTeX to Computer Algebra Systems