Summary of a Workshop on U.S. Natural Gas Demand, Supply, and Technology