A Survey on Graph Neural Networks for Knowledge Graph Completion