Efficient Approximation Algorithms for Protein Folding in the Hydrophobic-Hydrophilic Model