Methanogenesis in hydrate-bearing sediments: Integration of experimental and theoretical approaches