Information Gathering With Peers: Submodular Optimization With Peer-Prediction Constraints