dvx total que es un distrito federal