Exploitations des centrales nucléaires — Organisation mondiale de la santé, Agence internationale de l'énergie atomique