EFU: Enforcing Federated Unlearning via Functional Encryption