Statistics for Women in mining: a challenge to occupational culture in mines.