Synthesis, characterization, and computational study of the trans-IO2F5(2-) anion.