He's officially filed. Elon Musk officially tries to bail on buying Twitter