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