发现行星运动规律的是哪个科学家