How NASA built Artemis II’s fault-tolerant computer