The backlash against tipping is loud. Restaurant gratuities are holding steady. What are diners really mad about?