PerAda: Parameter-Efficient and Generalizable Federated Learning Personalization with Guarantees