Energy-Efficient Massive MIMO for Federated Learning: Transmission Designs and Resource Allocations