The semi-continuous Boltzmann equation for gas mixtures