Learning from Partial Label Proportions for Whole Slide Image Segmentation | Synapse