A convergence proof for Bird's direct simulation Monte Carlo method for the Boltzmann equation