AFLGuard: Byzantine-robust Asynchronous Federated Learning