Robotic underwater miners can go where humans can't