Accurate computational design of multipass transmembrane proteins