The cost of deep-sea mining