Variable-Length Computerized Adaptive Testing Based on Cognitive Diagnosis Models. (October 2013)