Extraction of gravel and stone in Denmark