Digital Tips vs. Cash: What Diners Choose in 2025