Petra Diamonds installs joint CEOs in board overhaul

Diamond miner has named Vivek Gadodia and Juan Kemp as joint CEOs after interim roles since February; Gadodia handles strategy, Kemp ops.