Public ownership and the British arms industry 1920–50