Probabilistic sonar scan matching for an AUV