Guaranteed methods based on constrained zonotopes for set-valued state estimation of nonlinear discrete-time systems