Mining Jobs Down 4,500; Loss of 2,700 in Oil, Gas Extraction