Deakstadieđáhus: System-Level Modeling of the Powertrain for an Electric Aircraft with Superconducting Components