Advances in Electrodermal Activity Processing with Applications for Mental Health: From Heuristic Methods to Convex Optimization