FLIP: A Provable Defense Framework for Backdoor Mitigation in Federated Learning