What is the population of Libya?