Extraction of oil and gas in Denmark