what is the population of slovenia?