OpenAI and Google staff push back on military AI