On the discrete-time algebraic Riccati equation