What Are They Talking About? A Benchmark of Knowledge-Grounded Discussion Summarization