FedBAT: Communication-Efficient Federated Learning via Learnable Binarization