sand and gravel quarry definition