OpenAI Robotics head resigns after deal with Pentagon