Tracing and Manipulating Intermediate Values in Neural Math Problem Solvers