Distributed Submodular Cover: Succinctly Summarizing Massive Data