Coming to Understand the Formal Definition of Limit: Insights Gained From Engaging Students in Reinvention