Tip credits, tip pools, and slutty vegans