Alphabet’s top “Other Bets” executives don’t like the odds and are leaving the company