Investigating Productive Use of High-Leverage Student Mathematical Thinking