When the tip and total don’t match, restaurants have to make a call. Here’s how those decisions usually play out.