machinery to mine diamond geavel