“The virtual tutor takes care of the basic concepts that typically dominate lectures, leaving professors open to plan the face-to-face component of the course according to what parts of the curriculum the software tells him students are picking up more slowly, and what concepts could bear reinforcement.”