Accurate de novo design of membrane-traversing macrocycles