From Standardized Assessment to Automatic Formative Assessment for Adaptive Teaching