An Analysis of Students’ Abstraction and Use of Representations for Understanding the Operational Formal Definition of Function in Introductory Calculus