Image post-segmentation correction using ant colony optimization