redundancy in electrical engineering