OpenAI appoints retired US Army general to Board of Directors