The Mumford–Shah variational model for image segmentation: An overview of the theory, implementation and use