Tipos de mina en colombia