Population, labour and living standards in early modern Ceylon: an empirical contribution to the divergence debate