Joint Antenna Selection and Beamforming for Massive MIMO-enabled Over-the-Air Federated Learning