What is the population of Democratic Republic of the Congo?