Protein semisynthesis and expressed protein ligation: chasing a protein's tail