Como espaçonaves e carros autônomos descobrem sua localização real a partir de sensores ruidosos: A engenharia matemática do Filtro de Kalman