The minor planet Eneev is named after a mathematician that is the editor-in-cheif for a journal established in what year?