Agglomeration Economies and Urban Public Infrastructure