Real-Time Scheduling with Regenerative Energy