Какая численность населения города София на 2019 год?