Analysis of stable chlorine isotopic ratios and saline water diffusion model in sedimentary formation, Yatsushiro Bay, Japan