Bayesian Image Segmentation by Hidden Markov Models