Elon Musk is being sued by the SEC over his Twitter takeover. What we know