Closing the loop: Automated data-driven cognitive model discoveries lead to improved instruction and learning.