Instructional process for the construction of the derivative function: Modelling and simulation in GeoGebra from the Ontosemiotic Approach | Synapse