On the Mathematical Theory of Vehicular Traffic Flow: Discrete Velocity Kinetic Models