Backing out of the Twitter deal would be unpleasant for Elon Musk