UK defense spending with domestic industry hits record $45B