General-relativistic celestial mechanics. IV. Theory of satellite motion.