Convergence Guarantees for Federated SARSA with Local Training and Heterogeneous Agents