is bauxite used in hall heroult process