Zaslat SMS: Convex analysis for optimization.