Gas exploration and production at the Dutch continental shelf