Real estate is booming in Costa Rica.