Día internacional de la mujer minera: El impulso de la formación técnica profesional para aumentar la participación femenina