Localization of autonomous underwater vehicles by floating acoustic buoys: a set-membership approach