The development of the flotation process: technological change and the genesis of modern mining, 1898-1911