Average U.S. diner tips 18 percent, study indicates