Applications of autonomous underwater vehicles (AUVs) in ocean mining exploration | IEEE Conference Publication | IEEE Xplore