Professional development through lesson study: teaching the derivative using GeoGebra | Synapse