A simple change in tipping could take $5.8 billion from American waiters, bussers, and bartenders