Japanese ocean mining activities : Norwegian technology, products and services