Why do group 17 elements have higher first ionization energies than group 1 elements in the same period?