Какое население Южной Осетии в 2018 году?