ℓ1-2 Regularization for Sparse Optimization: Consistency and Global Convergence | Synapse