Continuous Dice Coefficient: a Method for Evaluating Probabilistic Segmentations | Synapse