Какое население Стамбула на 2019 год?