Diamond polishing