Modelling the response of the Cased Hole Formation Resistivity tool in order to determine the depth of gas hydrate dissociation during the thermal test in the JAPEX/JNOC/GSC et al. Mallik 5L-38 gas hydrate production research well