definition of beneficiation in mining