Gravar-mail: Using GeoGebra Discovery in the context of Plane Geometry in a mathematics teacher training