what machines are used to mine jade