Semianalytic Theory of Long-Term Behavior of Earth and Lunar Orbiters