Energy Efficient Fixed-Priority Scheduling for Real-Time Systems on Variable Voltage Processors