How do redundant server fans like these work?