Communication-Efficient Device Scheduling for Federated Learning Using Lyapunov Optimization