Device Scheduling in Over-the-Air Federated Learning Via Matching Pursuit