A Monto Carlo simulation to sequential mastery testing in education using a backward induction computational procedure