Large-Scale Nonconvex Optimization: Randomization, Gap Estimation, and Numerical Resolution