National Academy of Sciences (U.S.). Study Group on the Use of Underground Space