Metabolic labelling in proteomics