Continuous-Time Kalman Filter Algebraic Riccati Theorem