Electric power distribution systems onboard aircraft