A Probabilistic U-Net for Segmentation of Ambiguous Images