cleaner in flotation used in mining industry