Convergence of a Semi-Lagrangian Scheme for the BGK Model of the Boltzmann Equation