The role of mastery learning in an intelligent tutoring system: Principal stratification on a latent variable