Graph Summarization via Node Grouping: A Spectral Algorithm