D.C. restaurants are changing how they handle wages for workers who get tips