Describir: Proposal for categorizing research on and applications of artificial intelligence in education