Text this: Proof and proving in mathematics education : the 19th ICMI study