Statistics for Gender equality in top managerial positions in a South African Mining Company