Petra Diamonds navigates weak rough diamond markets with strategic adjustments