The stability of methane hydrates in highly concentrated electrolyte solutions by differential scanning calorimetry and theoretical computation