Determination of Porosity in Shale by Double Headspace Extraction GC Analysis.