Gas extraction in Muntendam, the Netherlands