Gravar-mail: Optimal protein-folding codes from spin-glass theory.