Trip.com Group drops 7.4% as net profit misses despite revenue beat