Co-optimizing Spacecraft Component Selection, Design, and Operation with MINLP | IEEE Conference Publication | IEEE Xplore