Mathematical Theories of Planetary Motions