O fundo soberano de petróleo de Ilhabela: um exemplo de orçamento contracíclico