Variational Methods in Image Segmentation: with seven image processing experiments (Progress in Nonlinear Differential Equations and Their Applications)