Applications of Bayesian Decision Theory to Sequential Mastery Testing