Theoretically Principled Federated Learning for Balancing Privacy and Utility