Digital Image Segmentation Variational Models