Attività mineraria, tecnologie per l'estrazione dei minerali