What has de novo protein design taught us about protein folding and biophysics?