Growth, innovation, scaling, and the pace of life in cities