Quartz and fe-dolomite cements record shifts in formation-water chemistry and hydrocarbon migration in Devonian shoreface sandstones, Ghadamis Basin, Libya