Agglomeration, productivity, and spatial spillovers across Chinese cities