Advances in Mathematics Education Research on Proof and Proving