Efficient Distributed Optimization under Heavy-Tailed Noise