Chinese Indentured Labour in the Dutch East Indies, 1880–1942