cuáles son los diferentes tipos de minería