The Kalman--Yakubovich--Popov inequality for passive discrete time-invariant systems