Kepler’s laws of planetary motion