NavList thread: How do GPS satellites navigate themselves?