An Efficient Proactive Thermal-Aware Scheduler for DVFS-enabled Single-Core Processors