Scheduling a Single-Server Queue