. . "For mining areas where coal or other minerals were extracted prior to August 3, 1977, the date extraction of coal or other minerals commenced at that mining area or August 3, 1977, or" . .