Is War Necessary for Economic Growth?: Military Procurement and Technology Development