Starboard’s Jeff Smith says TripAdvisor should consider selling its restaurant booking platform