Definitions of mining:

• noun:   the act of extracting ores or coal etc from the earth
• noun:   laying explosive mines in concealed places to destroy enemy personnel and equipment