equipment used for deep reef mining