Acoustic tracking of autonomous underwater vehicles by a set-membership approach