20151212 removed: Elon Musk; other tech execs back OpenAI with $1 billion