Agglomeration economies and productivity differences in US cities