Introduction to mineral processing - Kelly, Errol G.