coal and petroleum mining and extraction