Federated Learning in Massive MIMO 6G Networks: Convergence Analysis and Communication-Efficient Design