SPIDER: Near-Optimal Non-Convex Optimization via Stochastic Path Integrated Differential Estimator