Trade-Offs Between Grounded and Abstract Representations: Evidence From Algebra Problem Solving