Lagrangian Duality for Constrained Deep Learning