Musk buys Twitter, and immediately torpedoes four top managers