What is the population of Algeria?