Investigating the role of educational robotics in formal mathematics education: the case of geometry for 15-year-old students.