Thermo-hydro-mechanical coupled modeling of methane hydrate-bearing sediments: formulation and application