systematic evolution of ligands by exponential amplification evidence used in automatic assertion