quanto custa a divida publica brasileira