海王星的发现是不是直接应用万有引力定律计算其轨道发现的