Over-the-Air Federated Learning and Optimization