Guinea worm: from Robert Leiper to eradication