Are both International Ultraviolet Explorer and Spitzer Space Telescope a project of NASA?