Agreement reached on deep sea mining