the mining process for aluminum