Tipping in restaurants falls for the first time in years. Blame ‘tip fatigue’