Communication-Efficient Federated Learning over Wireless Channels via Gradient Sketching