Patenting, intellectual property rights and sectoral outputs in Industrial Revolution Britain, 1780–1851