what machines are used to mine bauxite