TripAdvisor profit up 9 pct on higher referrals, advertising