Optimal Finite-Sum Smooth Non-Convex Optimization with SARAH