tools used in bauxite mining