How does a real-world DC-10 autopilot work?