A new Lyapunov equation for discrete-time descriptor systems