Seasonal closure of De Beer’s diamond polishing factories cut December sales