How much people tip on average across the US — and there’s a big difference between red and blue states