An historical perspective on variety in United States dining based on menus