A petrographic and computational investigation of quartz cementation and porosity reduction in North Sea sandstones