Rio Tinto diamond sales rose 7% to $727 million