Solving Large-scale Discrete-time Algebraic Riccati Equations by Doubling