separation techniques used in mining