Are teachers amenable to increasing students’ scope of work in doing proofs? Estimating teachers’ decision-making using a diagnostic classification model.