Personalized learning for educational video lessons