Provably Personalized and Robust Federated Learning