dvx que es un distrito federal