Top-k Graph Summarization on Hierarchical DAGs