Proactive Speed Scheduling for Real-Time Tasks under Thermal Constraints