Text this: Summary and Evaluation of the Application of Knowledge Graphs in Education 2007–2020