Extinta ADI que questionava empréstimo do BID à estatal gaúcha de energia elétrica