From convergence to divergence: Portuguese demography and economic growth, 1500-1850