South Africa’s de Villiers tops 9,000 ODI runs