Text this: Beyond procedural mastery: a semiotic analysis of students’ understanding of the first derivative definition