Theory of motion of artificial earth satellites.