Loop closing in SLAM using ant colony optimization