Gravar-mail: An Effective Method for Segmentation of MR Brain Images Using the Ant Colony Optimization Algorithm