The economics of deep-sea mining (Springer, 1985)