AGU diz que digitalizar 115 mil recibos custará R$ 6 milhões e levará 10 anos; tribunal rejeitou recurso