NASA Infrared Telescope Facility at the summit of the Mauna Kea volcano on the Big Island of Hawaii, United States