gravel pit — open-pit mine for the extraction of gravel