One-Bit Over-the-Air Aggregation for Communication-Efficient Federated Edge Learning