Spatio-temporal constrained zonotopes for validation of optimal control problems *