what equipments used to mine bauxite