Population, diversity, and restaurants: trends in the geography of cuisine variety in the Netherlands