Innovation, agglomeration, and regional development