Evolución de la población de Segovia desde 1842