Text this: Regional variation of GDP per head within China, 1080-1850: implications for the great divergence debate