Filter out cities with populations under 5000

Every city in the given data has a population over 5000, but this can't
hurt, and it serves to eliminate the header row as well.