Sparsity Constrained Nonlinear Optimization: Optimality Conditions and Algorithms | Synapse