What is the population of the city in which the Irving neighborhood is located ?