Global Non-convex Optimization with Discretized Diffusions