dvixtotal que es un mercado de divisas