استفاده از معادن، استخراج معادن