Proof, proving, and teacher-student interaction in the mathematics classroom: Theories and diverse contexts