Lattice points on circles and discrete velocity models for the Boltzmann equation