Stochastic Optimization of Area Under Precision-Recall Curve for Deep Learning with Provable Convergence