what is a flotation machine in mining