Knowledge Graphs for eXplainable Artificial Intelligence: Foundations, Applications and Challenges