what equipment did they use for deep reef mining