Explanatory Proofs in Mathematics Classroom Practices: An Investigation in Empirical Philosophy of Mathematics