Elon Musk asked Mark Zuckerberg to help in bid for OpenAI, filing shows