Cómo las naves espaciales y los coches autónomos calculan su ubicación real a partir de sensores ruidosos: La ingeniería matemática del filtro de Kalman