High-probability Bounds for Non-Convex Stochastic Optimization with Heavy Tails