Variance-reduced Clipping for Non-convex Optimization