Finite Horizon Discrete-Time LQR