Analysis of Krylov subspace approximation to large-scale differential Riccati equations