what machines used to mine bauxite