Explanatory machine learning for sequential human teaching