Detection of K-complexes and sleep spindles (DETOKS) using sparse optimization
proximal splitting methods in signal processing ∗ .