A supply demand model for exploration of the future of the Dutch gas sector