Automated Reasoning Tools in GeoGebra: A New Approach for Experiments in Planar Geometry