What is the population of Syria?