other what mining process is used for bauxite extraction