Using Bayesian decision theory to design a computerized mastery test