The Stefan moving boundary models for the heat-dissociation hydrate with a density difference