Detection of Atomic Clock Frequency Jumps With the Kalman Filter