Computational design of helical peptides targeting TNFα