dvixtotal mercado de divisas definicion