An Accurate and Efficient Bayesian Method for Automatic Segmentation of Brain MRI