The Salted Kalman Filter: Kalman filtering on hybrid dynamical systems. (September 2021)