Proof exercises and how they challenge the work of students and teachers in high school geometry