Robust and Efficient Federated Learning Algorithms against Adaptive Model Poisoning Attacks