行星命名法则是谁提出