海王星的发现是基于什么理论