Why Do We Need More Women in the Mining Industry?