Google’s AI researchers told management to refuse classified military work. Management spent three years making sure it could say yes.