Progress and challenges on gas production from natural gas hydrate-bearing sediment