Don't passenger aircrafts have redundant systems, so if one computer flips, the backup takes over?