Kalman filtering : theory and application