BiPruneFL: Computation and Communication Efficient Federated Learning With Binary Quantization and Pruning | IEEE Journals & Magazine | IEEE Xplore