Scalable Mixed-Integer Optimization with Neural Constraints via Dual Decomposition