Gasto federal com saneamento como proporção do PIB