Probabilistic Segmentation via Total Variation Regularization