machinery used to mine bauxite