Statistical formalism for analysis of gas electron diffraction intensities of Boltzmann vibrational distributions