Discovering pi using GeoGebra