Hybridization of Monte Carlo and set-membership methods for the global localization of underwater robots.