Semi-Proximal Mirror-Prox for Nonsmooth Composite Minimization