Possibilistic sonar modeling and localization for mobile robots