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