What is the trend in first ionization energies as one proceeds down the group 17 elements? Explain how this trend relates to the variation in atomic radii.