“Technological innovation and diffusion in the British and Australian coalmining industries, 1802-1910”