Privacy Preserving Federated Learning from Multi-Input Functional Proxy Re-Encryption