Towards Efficient and Certified Recovery from Poisoning Attacks in Federated Learning