the patrons of a restaurant are called diners