mining of coal and petroleum including their formation extraction and utilization