Application of KAM Theorem to Earth Orbiting Satellites