TripAdvisor quarterly profit slumps 25.7 percent