Engineering of stable and fast-folding sequences of model proteins.