Simple models of the protein folding problem