Twitter says 4 executives are leaving the company