Why we should not mine the deep sea