Collective invention during the British Industrial Revolution: the case of the Cornish pumping engine