A leader–follower formation control approach for target hunting by multiple autonomous underwater vehicle in three-dimensional underwater environments. (22nd August 2019)