what are some of the machines used to mine bauxite ore