Do Multi-Document Summarization Models Synthesize?