PropSegmEnt: A Large-Scale Corpus for Proposition-Level Segmentation and Entailment Recognition