Patents, Machine Learning, And War: Invention During The British Industrial Revolution