A Survey on Graph Neural Networks for Graph Summarization