Symbolizing Modeling and Tool Use in Mathematics Education