Technological trends in ocean mining