Energy-Efficient Fault-Tolerant Systems