People are still tipping generously, despite inflation