Demographic history of Sri Lanka