Augmenting deep neural networks with symbolic knowledge: Towards trustworthy and interpretable AI for education