Convergence of discrete-velocity models to the Boltzmann equation