Chief executives, chairs and finance heads at the companies that matter in African mining — their record, and what they are steering now.