Gravar-mail: PET image segmentation using a Gaussian mixture model and Markov random fields