Mining, quarrying, and oil and gas extraction