Deep-sea mining : resource potential, technical and environmental considerations /: resource potential, technical and environmental considerations. ([2017])