An investigation of water-gas interface migration of the upper Paleozoic gas pool of the Ordos Basin using reservoir fluid inclusion information