Symbolizing, Modeling and Tool Use in Mathematics Education