Non-Convex Optimization in Federated Learning via Variance Reduction and Adaptive Learning