Investing in Costa Rica’s real estate sector