High-dimensional Non-convex Optimization