Computational design of stable proteins