Minería deja de ser poco a poco un mundo de hombres: mujeres ya representan "tajada" del rubro