Probabilistic segmentation of brain tumors based on multi-modality magnetic resonance images