What is a Redundant Power Supply and How Does It Work?