How Spacecraft and Self-Driving Cars Pinpoint Their True Location from Noisy Sensors and Uncertain Predictions: The Mathematical Engineering of the Kalman Filter and State Estimation