A variational method in image segmentation: Existence and approximation results