Correlation of electronic states of the positive ions of xenon tetrafluoride, xenon oxide tetrafluoride, and iodine pentafluoride