dvx total que es tribunal supremo de justicia