Unique non-negative definite solution of the time-varying algebraic Riccati equations with applications to stabilization of LTV systems