Mining at deep-sea vents: what are the impacts on marine life?