Graph Summarization with Graph Neural Networks