Bad news for restaurant workers: Tipping in America is on the decline