Elon Musk files to back out of deal to buy Twitter