Federated Learning in MIMO Satellite Broadcast System