Architecting aircraft power distribution systems via redundancy allocation