Encyclopaedia Britannica, Micropaedia (William Benton)