costa rica population 2019