Zonotope Domains for Lagrangian Neural Network Verification Matt Jordan