Kalman filters for seismology