Prior to the civil war in '97, how many non-Africans lived in the Republic of the Congo?