Strict dissipativity and asymptotic stability of digital filters in direct form with saturation nonlinearity