Non-canonical amino acid labeling in proteomics and biotechnology