What Our Brains Are Up to When Solving Math Problems