Credibility Theory and Kalman Filtering with Extensions