Fast Federated Machine Unlearning with Nonlinear Functional Theory