divxtotal que es la deuda publica