Set-membership state and parameter estimation for discrete time-varying systems based on the constrained zonotope