Protagonismo dos cartórios extrajudiciais gerou uma economia aos cofres públicos de quase R$ 9 bi desde 2007