Model Pruning for Efficient Over-the-Air Federated Learning in Tactical Networks | IEEE Conference Publication | IEEE Xplore