Anomaly Traffic Detection Based on Communication-Efficient Federated Learning in Space-Air-Ground Integration Network