On the discrete velocity models of the Enskog equation