Mercado brasileiro de títulos verdes bate a marca de US$ 9 bilhões