Graph Summarization Methods and Applications: A Survey