Secondary students' 'dynamic reinvention of geometric proof' through the utilization of linking visual active representations