The molecular structure of iodine pentafluoride: an analysis of electron diffraction data and the microwave B0 rotational constant