KAUST-CEMSE-AMCS_STAT-Graduate-Seminar-Yury-Demidovich Methods with local steps and random reshuffling for generally smooth non-convex federated optimization