Shape priors in variational image segmentation: Convexity, Lipschitz continuity and globally optimal solutions