dvx total que es el tribunal supremo de justicia