Segmental Isotope Labeling for Protein NMR Using Peptide Splicing