Towards Automated Discovery of Geometrical Theorems in GeoGebra