how many people live in the built up area of zhengzhou?
4,867,388