Text this: Demographic history of the Indonesian archipelago 1880-1942