gold mining machines used to mine ore