Communication-Efficient Device Scheduling for Federated Learning Using Stochastic Optimization