5,000 new species found in deep-sea mining hotspot