Scalable POMDPs for Diagnosis and Planning in Intelligent Tutoring Systems