A Minimax Sequential Procedure in the Context of Computerized Adaptive Mastery Testing