Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned