Real-Time Scheduling via Reinforcement Learning