Device Scheduling for Secure Aggregation in Wireless Federated Learning