what mining process is used for bauxite extraction