Summary of a workshop on U.S. natural gas demand, supply, and technology :looking toward the future