OpenAI’s robotics chief quits over the Pentagon deal