The design of the E9X electric airplane