“Zipline's aircraft use two flight computers for redundancy, with a third arbiter computer monitoring their health and determining which is in control.”